  #define WDT_COUNT_54p6_us 0xF00D
  #define WDT_COUNT_1p0_ms 0x4650 // (1ms)*(72MHz) / 4
  #define WDT_COUNT_1p5_ms 0x6978 // (1p5ms)*(72MHz) / 4
  #define WDT_COUNT_2_ms 0x8ca0 // (1p5ms)*(72MHz) / 4
  #define WDT_COUNT_10_ms 0x2BF20 // (10ms)*(72MHz) / 4
  #define WDT_COUNT_20_ms 0x57E40 // (20ms)*(72MHz) / 4
  #define WDT_COUNT_MAX 0xFFFFFFFF

void WDT_init(void);
void WDT_service(void);
void WDT_service_15ms(void);
void WDT_service_5ms(void);